Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 2 of 2 (0 secs)
You searched for: subject:"proof checker"
[texts]mit :: ai :: aim :: AIM-021
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-021
Keywords: proof; theorem; verify; sufficiency; list; step; checker; ths; heuristic; proofs; proof checker; theorem list
Downloads: 52
[texts]mit :: lcs :: tr :: MIT-LCS-TR-662
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-662
Keywords: codes; proof; holographic; polynomial; graph; code; algorithm; expander; theorem; proofs; expander graphs; decoding algorithm; holographic proofs; expander codes; holographic proof; constant number; explicit constructions; coloring problem; proof checker; minimum distance
Downloads: 13
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts